Logical connectives

Results: 104



#Item
101Proof theory / Grammar / Logical connectives / Categorial grammar / Combinatory categorial grammar / Natural deduction / Linear logic / Modus ponens / Curry–Howard correspondence / Logic / Mathematical logic / Linguistics

PDF Document

Add to Reading List

Source URL: www.let.uu.nl

Language: English - Date: 2009-03-16 13:46:32
102Logical connectives / Binary operations / Inference / Contraposition / Conditional statement / Converse / If and only if / Negation / Logical equivalence / Logic / Propositional calculus / Mathematics

PDF Document

Add to Reading List

Source URL: www.math.niu.edu

Language: English - Date: 2004-02-27 12:43:15
103Boolean algebra / Semantics / Logical connectives / Tautology / Natural deduction / Modal logic / Negation / Well-formed formula / Truth function / Logic / Mathematical logic / Propositional calculus

PDF Document

Add to Reading List

Source URL: people.umass.edu

Language: English - Date: 2009-09-09 16:21:38
104Propositional calculus / Semantics / Boolean algebra / Logical connectives / Truth table / Interpretation / Modal logic / Negation / Tautology / Logic / Mathematical logic / Mathematics

PDF Document

Add to Reading List

Source URL: cseweb.ucsd.edu

Language: English - Date: 2011-03-31 18:58:27
UPDATE